Resultaten visas 1 - 10 / 8765
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
Linas Laibinis; Elena Troubitsyna; Z Graja; F Migeon; AH Kacem
Software Engineering and Formal Methods (SEFM 2014)2014Publicationer information ikon

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-58768-0_3
Fatima Shokri-Manninen; Jüri Vain; Marina Walden
Software Engineering and Formal Methods2020Publicationer information ikon

A precise pictorial language for array invariants

Referentgranskad
DOI
10.1007/978-3-319-98938-9_9
Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back
Integrated Formal Methods2018Publicationer information ikon

Formalising Privacy-Preserving Constraints in Microservices Architecture

Referentgranskad
DOI
10.1007/978-3-030-63406-3_19
Inna Vistbakka; Elena Troubitsyna
Formal Methods and Software Engineering2020Publicationer information ikon

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

Referentgranskad
DOI
10.1007/978-3-319-11737-9_26
Jonatan Wiik; Pontus Boström
Formal Methods and Software Engineering2014Publicationer information ikon

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Referentgranskad
DOI
10.1007/978-3-319-10702-8
Pontus Boström; Petr Sergeevish Alexeev; Mikko Heikkilä; Mikko Huova; Marina Walden; Matti Linjama
Formal Methods for Industrial Critical Systems2014Publicationer information ikon

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
Laibinis L; Troubitsyna E; Graja Z; Migeon F; Kacem AH
Software Engineering and Formal Methods, SEFM2014Publicationer information ikon

Formaalit menetelmät mutkikkaiden järjestelmien suunnittelun apuna - Rinnakkaisuus hallintaan (Formal Methods for Concurrent Systems)

Mäkelä, Marko
Prosessori2001Publicationer information ikon

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks

Referentgranskad
DOI
10.1007/978-3-319-47846-3_10
Inna Vistbakka; Elena Troubitsyna; Linas Laibinis; Ian Oliver; Silke Holtmanns
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods,...2016Publicationer information ikon

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud

Referentgranskad
DOI
10.1007/978-3-319-10181-1_7
Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11...2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
2014

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-58768-0_3
2020

A precise pictorial language for array invariants

Referentgranskad
DOI
10.1007/978-3-319-98938-9_9
2018

Formalising Privacy-Preserving Constraints in Microservices Architecture

Referentgranskad
DOI
10.1007/978-3-030-63406-3_19
2020

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

Referentgranskad
DOI
10.1007/978-3-319-11737-9_26
2014

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Referentgranskad
DOI
10.1007/978-3-319-10702-8
2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
2014

Formaalit menetelmät mutkikkaiden järjestelmien suunnittelun apuna - Rinnakkaisuus hallintaan (Formal Methods for Concurrent Systems)

2001

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks

Referentgranskad
DOI
10.1007/978-3-319-47846-3_10
2016

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud

Referentgranskad
DOI
10.1007/978-3-319-10181-1_7
2014